theme/search-entry: Tweak the margins a bit

Use a bit less margin at the top and add some margin at the bottom of
the search entry. This should ensure the search entry is closer to the
panel than to the workspaces and avoid associating the workspace
thumbnails with the search instead of the window picker.

Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1702>

diff --git a/data/theme/gnome-shell-sass/widgets/_search-entry.scss b/data/theme/gnome-shell-sass/widgets/_search-entry.scss
index 4568170e46cb8fdf4f0fcc1a343b147656c6a0a8..b184e674e32717413b39e3a7e66d1016a47135ed 100644 (file)
--- a/data/theme/gnome-shell-sass/widgets/_search-entry.scss
+++ b/data/theme/gnome-shell-sass/widgets/_search-entry.scss
@@ -11,7 +11,8 @@ $search_entry_height: 36px;
   color: transparentize($fg_color,0.3);
   background-color: $bg_color;
   border-color: $borders_color;
-  margin-top: 24px;
+  margin-top: $base_spacing * 2;
+  margin-bottom: $base_spacing;
 
   &:hover {
     background-color: $hover_bg_color;
@@ -33,4 +34,4 @@ $search_entry_height: 36px;
     padding: 0 4px;
     color: inherit;
   }
-}
\ No newline at end of file
+}